Merge openmpi (2.0.2~git.20161225-9) import into refs/heads/workingbranch
authorAlastair McKinstry <mckinstry@debian.org>
Sun, 15 Jan 2017 11:08:14 +0000 (11:08 +0000)
committerAlastair McKinstry <mckinstry@debian.org>
Sun, 15 Jan 2017 11:08:14 +0000 (11:08 +0000)
commita04061c35bfa7691feb36c504437d3b0ce3f10d9
tree4af4e6f956f36316eaf3f7534c72604ca8a7305d
parente755bb15aa4d6fe963a6218f10933ecfe15bfa96
parent970c5275a0c14f2cacadfc514d10c6a6e2c0151a
Merge openmpi (2.0.2~git.20161225-9) import into refs/heads/workingbranch